创新型HACCP高校思想政治教育管理体系的构建与应用

将传统高校思想政治教育管理方法与食品行业中的HACCP（Hazard Analysis Critical Control Points）食品安全认证体系相结合,构建一种全新型的思想政治教育管理体系。旨在加强当今高校学生的思想管理,将传统思想教育管理方法程序化、完整化,通过实证分析制定详尽的HACCP思想管理体系的实行方法,增强实际应用性和管理性,从而有效提高学生的思想道德水平。     

陆军战术作战仿真想定生成方法

针对作战仿真中想定数据的生成需求,在分析仿真想定内容的基础上,规范了仿真想定的生成流程,给出了指挥规则的抽取和量化方式,提出了面向实体的仿真想定结构化表示方法和基于XML的仿真想定存储结构,分析了利用G IS和3D技术实现作战计划和行动协同规划的方法途径,探讨了仿真想定数据的校核内容和重用机制,为实现仿真想定生成工具提供了一种有效的思路。     

基于能源互联网背景的储能二次电池技术发展分析

能源互联网是在现有配电网基础上,融合新能源技术和互联网技术,将分布式能源采集装置和分布式能源储存装置联合发展起来的新技术,对于优化能源结构和提高能源利用具有重要的意义。文章以能源互联网对储能电池的需求为背景,首先归纳了能源互联网对于储能电池的要求,在此基础上重点分析了多种可应用于能源互联网的储能电池的性能与特点,并对其未来发展趋势进行了展望。     

山水自在 筑鉴非凡——重庆商务职业学院新校区规划设计

介绍了重庆商务职业学院新校区的校园规划策略。基于生态保护进行校园规划,通过建筑布局与地形环境的协调共生形成山水校园,结合历史人文营造个性化校园空间。同时,从生态保护、规划分区、建筑布局、景观空间等方面探讨文化内涵与个性校园的规划设计策略,得出自然山水形成了丰富的地域景观,并由此创造出具有个性的地区文化的结论。旨在为山地校园建设起到借鉴作用。     

中段反导指挥控制能力生成机理及构成分析

提出了中段反导指挥控制能力生成的要素基础建设机理、要素集成聚优机理和要素联动涌效机理,构建了中段反导指挥控制能力总体构成框架,并对作战能力具体构成进行了分析,可为反导指挥控制系统建设及作战效能评估提供借鉴。     

一种评价导弹研制方案的新方法

对新型导弹武器系统的各种研制方案作出迅速、合理的评价是武器系统方案论证中非常重要的一项工作。过去常用的评价方法存在评价速度慢、评价结果客观性不强等缺点 ,利用神经网络的模式识别功能 ,建立了用于评价研制方案的神经网络模型 ,该模型充分利用过去已定型的导弹研制信息 ,减少了评价过程中的主观性。通过实例计算 ,证明该方法是可行的     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

基于状态变换的数字电路冗余确认研究

以状态跳变图为基础,深入分析了冗余变换与非法变换的特征,提出结构冗余和功能冗余的概念,并讨论了可测故障、不可测故障和冗余之间的联系.最后结合验证和测试生成,提出状态冗余的隐含遍历确认策略.     

Poisson方程生成数值网格方法中的源项计算法

网格生成是数值研究方法得以实现的基础。本文采用了Ｐｏｉｓｓｏｎ方程生成数值网格，并针对方程源项的选择问题，对两种形式的源项作了比较研究。     

基于调整型的战术导弹批检试验抽样方案设计

为通过批检试验准确检验导弹的质量,提出基于调整型的战术导弹批检试验抽样方案设计思路。调整型抽样检验方法的应用,可适时调整抽样方案的宽严程度,提高检验效率,并为订货方和生产方提供适当的风险保护,把抽样检验和导弹的质量变化联系在一起形成一个动态检验过程。